Constructible sheaf - PDFSEARCH.IO - Document Search Engine

Constructible sheaf
Results: 28

#	Item
11	Preferential Semantics using Non-smooth Preference Relations∗ XXX January 10, 2013 Abstract Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-01-11 03:16:39 Algebraic topology Deduction Entailment Logical consequence Metalogic Transitive set Sheaf Constructible universe Orbifold Logic Abstract algebra Mathematics
12	HOL Formalised: Semantics R.D. Arthan Lemma 1 Ltd. [removed] 25th October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-03-20 12:33:24 Sheaf Function Universe Zermelo–Fraenkel set theory Lambda calculus Constructible universe Mathematics Mathematical logic Algebraic topology
13	ELEMENTARY EPIMORPHISMS BETWEEN MODELS OF SET THEORY ROBERT LUBARSKY AND NORMAN LEWIS PERLMUTTER Abstract. We show that every Π1 -elementary epimorphism between models of ZF is an isomorphism. On the other hand, nonisom Add to Reading List Source URL: math.fau.edu Language: English - Date: 2014-05-05 13:51:37 Set theory Epimorphism Homomorphism Forcing Ordinal number Constructible universe Sheaf Zermelo–Fraenkel set theory Surjective function Mathematical logic Mathematics Morphisms
14	Notes on Modal Logic Notes for Philosophy 151 Eric Pacuit∗ January 28, 2009 Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2010-04-22 21:09:45 Modal logic Non-classical logic Kripke semantics Sheaf theory Saul Kripke Entailment Tiny Encryption Algorithm Constructible universe Bisimulation Logic Philosophical logic Metalogic
15	Contemporary Mathematics Gluing Schemes and a Scheme Without Closed Points Karl Schwede Communicated by S´ Add to Reading List Source URL: www-personal.umich.edu Language: English - Date: 2008-01-10 14:00:51 Scheme theory Sheaf theory Commutative algebra Spectrum of a ring Scheme Ideal sheaf Sheaf Universal property Constructible universe Abstract algebra Algebraic geometry Mathematics
16	Probabilistic coherence and proper scoring rules∗ Joel Predd Rand Corporation Daniel Osherson Princeton University Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2009-04-21 07:52:22 Constructible universe Convex function Independence Function Partition Sheaf Characteristic function Mathematics Mathematical analysis Probability theory
17	Computation-Centric Memory Models Matteo Frigo Victor Luchangcoy MIT Laboratory for Computer Science Add to Reading List Source URL: supertech.csail.mit.edu Language: English - Date: 2014-09-16 08:27:51 Parallel computing Directed acyclic graph Sheaf Constructible universe Consistency model Model theory
18	Heegaard Floer homology and fibred 3-manifolds Yi Ni American Journal of Mathematics, Volume 131, Number 4, August 2009, pp[removed]Article) Published by The Johns Hopkins University Press DOI: [removed]ajm[removed] Add to Reading List Source URL: www.its.caltech.edu Language: English - Date: 2010-09-10 11:28:01 Homology theory Geometric topology Morse theory Floer homology Heegaard splitting Contact geometry Constructible universe Sheaf Khovanov homology Topology 3-manifolds Abstract algebra
19	Microsoft Word - Solids-TR-Cover-Template.doc Add to Reading List Source URL: authors.library.caltech.edu Language: English - Date: 2012-12-26 09:39:33 Multivariable calculus Fourier analysis Harmonic functions Algebraic topology Sheaf Calculus of variations Constructible universe Laplace operator Partial differential equation Mathematical analysis Calculus Mathematics
20	Dynamic Models for Selling Multiple Items∗ Rebecca Dizon-Ross† Sheldon M. Ross‡ Abstract Add to Reading List Source URL: scholar.harvard.edu Language: English - Date: 2013-12-06 12:39:46 Control theory Algebraic topology Constructible universe Dynamic programming Continuous function Sheaf Mathematics Mathematical analysis Operations research

UPDATE